A meta-model for computer executable dynamic clinical safety checklists
نویسندگان
چکیده
BACKGROUND Safety checklist is a type of cognitive tool enforcing short term memory of medical workers with the purpose of reducing medical errors caused by overlook and ignorance. To facilitate the daily use of safety checklists, computerized systems embedded in the clinical workflow and adapted to patient-context are increasingly developed. However, the current hard-coded approach of implementing checklists in these systems increase the cognitive efforts of clinical experts and coding efforts for informaticists. This is due to the lack of a formal representation format that is both understandable by clinical experts and executable by computer programs. METHODS We developed a dynamic checklist meta-model with a three-step approach. Dynamic checklist modeling requirements were extracted by performing a domain analysis. Then, existing modeling approaches and tools were investigated with the purpose of reusing these languages. Finally, the meta-model was developed by eliciting domain concepts and their hierarchies. The feasibility of using the meta-model was validated by two case studies. The meta-model was mapped to specific modeling languages according to the requirements of hospitals. RESULTS Using the proposed meta-model, a comprehensive coronary artery bypass graft peri-operative checklist set and a percutaneous coronary intervention peri-operative checklist set have been developed in a Dutch hospital and a Chinese hospital, respectively. The result shows that it is feasible to use the meta-model to facilitate the modeling and execution of dynamic checklists. CONCLUSIONS We proposed a novel meta-model for the dynamic checklist with the purpose of facilitating creating dynamic checklists. The meta-model is a framework of reusing existing modeling languages and tools to model dynamic checklists. The feasibility of using the meta-model is validated by implementing a use case in the system.
منابع مشابه
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملPour une perspective comportementale dans les méta-modèles de processus
Designing executable models is one of the major concerns of model-driven engineering (MDE). To reach this aim, it is necessary to formally specify dynamic properties of a model according to a meta-model, in order to be directly executed by a meta-CASE tool (Computer Aided Software Engineering). Moreover, for some kind of models, it is so important to define a causal relationship in the meta-mod...
متن کاملA Hybrid Meta-heuristic for the Dynamic Layout Problem with Transportation System Design
This paper primarily presents a comprehensive dynamic layout design model which integrates layout and transportation system design via considering more realistic assumptions, such as taking account of fixed-position departments and distance between departments that endanger each other. In addition, specific criteria such as capacity, cost and reliability of facilities are considered in transpor...
متن کاملOn Aspect-oriented Programming for Enforcing Software Design Rules
Software design rules are important in modern software development, with significance in achieving high quality in many aspects of software engineering including functional correctness, safety, performance, reusability, and so on. The current practice of software engineering tools to enforce software design rules has much to be desired. They usually either can only check a pre-defined set of de...
متن کامل19th ICCRTS Executable Architecture Modeling and Simulation Based on fUML Topic 5: Modeling and Simulation Authors: WANG Zhixue, HE Hongyue, WANG Qinglong POC:
The DoD Architecture Framework is now popularly used for describing overall requirements and architectural design of the system-of-systems (SoS). However, it is very hard to validate and verify the architecture products, as most of them are modeled with informal constructs. The paper proposes an approach of executable architecture modeling and simulation by introducing formal UML specification....
متن کامل